compactly generated hausdorff space造句

• In one approach, a topological category is a category that is compactly generated Hausdorff spaces.
• A "'compactly generated Hausdorff space "'is a compactly generated space which is also Hausdorff.
• To get back to actual topological spaces, there is a " geometric realization " functor which turns simplicial sets into compactly generated Hausdorff spaces.
• The first suggestion ( 1962 ) to remedy this situation was to restrict oneself to the full subcategory of compactly generated Hausdorff spaces, which is in fact cartesian closed.
• A further generalization of the theorem was proven by, to sets of real-valued continuous functions with domain a compactly generated Hausdorff space into a uniform space to be compact in the compact-open topology ..